منابع مشابه
Au temps en emporte le C
Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...
متن کاملSubstituabilité au voisinage pour le cadre WCSP
WCSP is an optimization problem for which many forms of soft local (arc) consistencies such as existential directional arc consistency (EDAC) and virtual arc consistency (VAC) have been proposed these last years. In this paper, we adopt a different perspective by revisiting the well-known property of (soft) substitutability. First, we provide a clear picture of the relationships existing betwee...
متن کاملLes déterminants du statut “perdu de vue” chez les patients pris en charge pour cancer au Maroc: situation avant le Plan Cancer
Introduction: Le cancer au Maroc représente un problème majeur de santé publique, sa prise en charge doit être globale, active et complète pour tous les patients. L’objectif de ce travail était d’estimer la fréquence des perdus de vue « PDV » en oncologie au Maroc durant la première année de suivi et de déterminer les facteurs associés à ce problème. Méthodes: par une étude rétrospective portan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Téoros: Revue de recherche en tourisme
سال: 2000
ISSN: 0712-8657,1923-2705
DOI: 10.7202/1071801ar